/* timer.c */float _timer;void reset_timer() {    _timer= seconds();}float timer() {    return seconds() - _timer;}